type isTwo<T> = T extends 2 ? true : false

type res1 = isTwo<1>